『はじめての数理論理学 = Mathematical Logic for Beginners 証明を作りながら学ぶ記号論理の考え方』
著/作:山田俊行
出版者:森北出版
出版年:2018.7
NDC:410.96
400 【自然科学】
https://amzn.asia/d/4ZJn7Sg
https://scrapbox.io/files/67b3250c056bd9033a375c88.jpg